
#ifndef __MITER__h_
#define __MITER__h_
#include <stdio.h>
#include "base/main/main.h"
#include "base/abc/abc.h"

extern Abc_Ntk_t * Abc_AigFromfile( char *file, int fCheck );
extern Abc_Ntk_t * Abc_AigCombine2Miter( Abc_Ntk_t *pNtk1, Abc_Ntk_t *pNtk2 );

#endif
